Skip to content

chore: manage admin repo with safe-settings#14

Merged
nbrieussel merged 3 commits intomainfrom
chore/manage-admin-with-safe-settings
Apr 14, 2026
Merged

chore: manage admin repo with safe-settings#14
nbrieussel merged 3 commits intomainfrom
chore/manage-admin-with-safe-settings

Conversation

@nbrieussel
Copy link
Copy Markdown

What

Remove admin from restrictedRepos.exclude in deployment-settings.yml.

Why

No technical reason to exclude it in GitHub Actions mode — safe-settings reads config from this repo and can apply settings to it simultaneously. The org-wide settings.yml will now govern admin like any other repo (labels, branch protection with nbrieussel bypass, merge strategy, etc.).

The delete_branch_on_merge: true we just set manually via the API will be maintained by safe-settings going forward.

Dry-run checklist

  • Triggered: gh workflow run safe-settings-sync.yml --repo IntegratedDynamic/admin --ref chore/manage-admin-with-safe-settings -f nop=true
  • Output reviewed — expected to see diffs on admin repo (first time it gets managed)
  • Diffs look correct (labels, branch protection, merge settings)

Nicolas Brieussel and others added 3 commits April 14, 2026 01:46
Closes #9

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
No technical reason to exclude it in GitHub Actions mode. Safe-settings
reads config from this repo and can apply settings to it at the same time.
org-wide settings.yml will now govern the admin repo like any other repo.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@nbrieussel nbrieussel merged commit c8c47fc into main Apr 14, 2026
1 check passed
@nbrieussel nbrieussel deleted the chore/manage-admin-with-safe-settings branch April 14, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant